Basic categorial constructions
نویسنده
چکیده
1. Categories and functors 2. Standard (boring) examples 3. Initial and final objects 4. Categories of diagrams: products and coproducts 5. Example: sets 6. Example: topological spaces 7. Example: products of groups 8. Example: coproducts of abelian groups 9. Example: vectorspaces and duality 10. Limits 11. Colimits 12. Example: nested intersections of sets 13. Example: ascending unions of sets 14. Cofinal sublimits
منابع مشابه
Predictive Combinators: a Method for Efficient Processing of Combinatory Categorial Grammars
A B S T R A C T Steedman (1985, 1987) and others have proposed that Categorial Grammar, a theory of syntax in which grammatical categories are viewed as functions, be augmented with operators such as functional composition and type raising in order to analyze • noncanonical" syntactic constructions such as whextraction and node raising. A consequence of these augmentations is an explosion of se...
متن کاملOn Japanese Desiderative Constructions
This paper describes desiderative constructions in Japanese with the main focus on ta(i) ‘want’ desideratives. In spite of the morphological one-word status, desiderative constructions have been claimed to have a complex structure at some abstract level of representation. We claim that there are two types of desideratives, and that their predicates have different lexical representations within ...
متن کاملHindi CCGbank: CCG Treebank from the Hindi Dependency Treebank
In this paper, we present an approach for automatically creating a Combinatory Categorial Grammar (CCG) treebank from a dependency treebank for the Subject-Object-Verb language Hindi. Rather than a direct conversion from dependency trees to CCG trees, we propose a two stage approach: a language independent generic algorithm first extracts a CCG lexicon from the dependency treebank. A determinis...
متن کاملA Sign-Based Extension to the Lambek Calculus for Discontinuous Constituency
This paper takes as its starting point the work of Moortgat (1991) and aims to provide a linguistically-motivated extension to the basic Lambek calculus that will allow, among other things, for an elegant treatment of various`discontinuous constituency' phenomena, including`tough'-constructions in En-glish, cross-serial agreement in Swiss German and quantiier scoping. The proposal is contrasted...
متن کاملSome Arguments for Coordination in Categorial Grammar and Combinatory Logic
Despite of the large amount of theoretical work done on coordination during the last three decades, many researches still interested in proving that such model has the widest coverage or the other is better. In our article we will present different coordination constructions in French (with using the conjunction et (and)). We will show how processing accounts can be described in terms of Applic...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010